Постусловие

Постусловие

9.24 Постусловие - предикат, задающий требования, которые должны быть справедливы непосредственно после осуществления действия.


Словарь-справочник терминов нормативно-технической документации. . 2015.

Игры ⚽ Нужно решить контрольную?
Синонимы:

Смотреть что такое "Постусловие" в других словарях:

  • Постусловие — условие, истинность которого проверяется после выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам …   Финансовый словарь

  • постусловие — сущ., кол во синонимов: 1 • условие (12) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • постусловие — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN postcondition …   Справочник технического переводчика

  • постусловие — постусл овие, я (от усл овие, программ.) …   Русский орфографический словарь

  • Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… …   Википедия

  • ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… …   Словарь-справочник терминов нормативно-технической документации

  • ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …   Математическая энциклопедия

  • Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия

  • Продукционная модель представления знаний — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

  • Продукционная модель знания — модель основанная на правилах, позволяет представить знание в виде предложений типа «Если (условие), то (действие)». Продукционная модель фрагменты Семантической сети, основанные на временных отношениях между состояниями объектов. Продукционная… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»